<?php  // -*-html-*-
rcs_id('');
/*
 * This template is responsible mainly for the outer level <html> stuff.
 *
 * NS/MO/IE/Op Browsers before 4.0 don't like that.
 */
?>
<?= Template('body') ?>
<?php
if (defined('DEBUG') and DEBUG) {
    echo "<!-- phpwiki source: \n";
    echo $RCS_IDS;
    echo "-->\n";
}
?>

